(0 15 3)(1 17 9)(2 8 5)(4 14 12)(6 10 7)(11 16 13)
ALLOWS (11/8)-SEQUENCE
1: (4 7 12)

(0 15 3)(1 17 9)(2 8 5)(4)(6 10 7 14 12)(11 16 13)
2: (2 8 5)

(0 15 3)(1 17 9)(2)(4)(5)(6 10 7 14 12)(8)(11 16 13)
3: (7 14 10)

(0 15 3)(1 17 9)(2)(4)(5)(6 10 12)(7)(8)(11 16 13)(14)
4: (11 16 13)

(0 15 3)(1 17 9)(2)(4)(5)(6 10 12)(7)(8)(11)(13)(14)(16)